排序方式： 共有84条查询结果，搜索用时 750 毫秒
1.
计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的。如今,硬件性能变得越来越高,运算速度变得越来越快,体系结构变得越来越复杂,软件的功能也变得越来越复杂,如何开发可靠的软、硬件系统,己经成为计算机科学发展的巨大挑战。特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制系统、核反应堆控制系统、医疗设备控制系统等等,这些系统中的任何错误都可能导致灾难性后果。
形式化方法己经成功应用于各种硬件设计,特别是芯片的设计。各大硬件制造商都有一个非常强大的形式化方法团队为保障系统的可靠性提供技术支持,例如IBM、AMD等等。近年来,随着形式验证技术和工具的发展,特别是在程序验证中的成功应用,形式化方法在处理软件开发复杂性和提高软件可靠性方面已显示出无可取代的潜力。各个著名的研究机构都投入了大量人力和物力从事这方面的研究。例如,美国宇航局NASA拥有一支庞大的形式化方法研究团队,他们在保证美国航天器控制软件正确性方面发挥了巨大作用,在美国研发“好奇号”火星探测器时,为了提高控制软件的可靠性和生产率,广泛使用了形式化方法。在新兴领域,如区块链及人工智能等领域,形式化方法也逐步得到应用,提升系统的整体安全可控。
本专题公开征文,共征得投稿27篇。特约编辑先后邀请了国内外在该领域比较活跃的学者参与审稿工作,每篇投稿至少邀请2位专家进行初审。大部分稿件经过初审和复审两轮评审,部分稿件经过了两轮复审。通过初审的稿件还在FMAC 2020大会上进行了现场报告,作者现场回答了与会者的问题,并听取了与会者的修改建议。最终有18篇论文入选本专题。 相似文献
2.
Epilogue和BSD协议栈的实现机制的比较 总被引：2，自引：1，他引：2
协议栈是网络通信中最重要的软件部分,在数据交换中起着重要作用。对其进行研究分析有助于进行特定情况下的协议栈实现。文中对两种典型协议栈的实现方式进行比较,分析了两者在各个层次上的协议的实现,并比较其协议栈所占用资源,从而对其可靠性和进行二次开发的可能性进行研究,最后分析了这两种协议栈的实现方式的优缺点。两种协议栈的比较可为实现某种协议栈时提高其可靠性、可读性、可移植性提供有益参考。 相似文献
3.
基于支撑矢量机的调制制式识别算法 总被引：1，自引：0，他引：1
调制制式识别是信号自适应传输系统中的一项重要技术。研究表明，传统调制制式识别在训练样本有限情况下性能不佳。而基于支撑矢量机的调制分类器采用结构风险最小化原则，在样本有限情况下仍能达到较好性能。通过分析和研究，首次提出结合高阶累积量和多尺度小波分解两种特征的调制制式识别算法。该算法结合高阶累积量对调相信号以及小波特征量对多载波信号识别的突出优点，实现了多种信号的一步识别。通过对该算法在多种常见信号上的应用进行分析和仿真，证明其性能优于传统调制制式识别算法。 相似文献
4.
5.
随着Linux的普及,Linux的实时性越来越受重视,但目前对该领域内研究进行综述的工作较少,并且已有的综述性工作主要从算法的自身结构对实时调度算法进行划分,而非从使用者的角度,根据解决的问题模式去划分,从而不易于指导工业级的应用实践。为此,文中从Linux实时调度算法所针对的问题模式出发,对实时算法进行分类。分类基于由内到外,从通用问题场景到具体应用问题场景的原则,最终形成了层次良好的分类结构。该分类的优点在于：除了更易于指导工业级的应用实践,也更加准确地描述了实时调度算法的本质特征。 相似文献
6.
8.
10.
提出了一种具有单缓冲区的协同回退N自动重传请求(Go-Back-N Automatic Repeat Request,GBN-ARQ)算法,该算法适用于基于多址传送的单源单中继无线通信系统．利用多址系统允许多个节点同时发送数据的特点,在接收端加入一个缓冲区,使得中继和数据源可同时参与数据帧的发送及重发过程,有效提升了系统的首发成功率和重发成功率,解决了传统GBN-ARQ算法在信道条件较差时系统吞吐率性能快速下降的问题．以TDMA系统为例,经过理论分析和系统仿真,证明了该算法在保持原有GBN-ARQ算法复杂度基本不变的情况下,提升了系统的吞吐率性能,增益最大超过10dB． 相似文献